1. A theory of formal deducibility
المؤلف: Curry, Haskell Brooks
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
1
.
N87
no
.
6
2. Combinatory logic
المؤلف: Curry, Haskell Brooks
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
36
.
C8
3. Foundations of mathematical logic
المؤلف: CURRY,HASKELL BROOKS
المکتبة: (طهران)
موضوع: LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
9
.
C85
4. Foundations of mathematical logic
المؤلف: Curry, Haskell Brooks
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
C85
1977
5. Foundations of mathematical logic
المؤلف: Curry, Haskell B. )Haskell Brooks(, 0091-2891
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: ، Logic, Symbolic and mathematical.
رده :
BC
135
.
C8F6
6. Outlines of a formalist philosophy of mathematics
المؤلف: Curry, Haskell Brooks
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Mathematics - Philosophy
رده :
QA
8
.
4
.
C87
